

int do_execve(unsigned long * eip,long tmp,char * filename,
	char ** argv, char ** envp)
{
    return 0;
}